outl($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $x$ of inl($y$) =$>$ $y$ $\mid$ inr($z$) =$>$ "???"